linear programming formulation in